Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
331	Microsoft PowerPoint - Lect_streams Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-05-02 20:46:02 Functional programming Lisp programming language Scheme programming language Lambda calculus Functional languages Cons Stream Scheme CAR and CDR Declarative programming Software engineering Computer programming
332	South carolina Dept. of Employment FY 2012 Proviso[removed]Finance Add to Reading List Source URL: www.cg.sc.gov Language: English - Date: 2013-02-21 16:15:54 2Q Trans Australia Airlines Computer programming Taa Software engineering Cons Declarative programming Languages of Botswana Tuu languages
333	6.001, Spring Semester, 2006—Quiz I – Example Solutions MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.001—Structure and Interpretation of Computer Programs Spring Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2006-04-18 08:25:20 Functional programming Lisp programming language Append Cons Null Question mark Declarative programming Computing Computer programming
334	6.001, Fall Semester, 2006—Quiz II – Example Solutions 1 MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2006-12-05 11:47:20 Functional programming Lisp programming language Search algorithms Breadth-first search Linked list Tree traversal Cons Append Computing Computer programming Declarative programming
335	International Workshop on Functional and (Constraint) Logic Programming (WFLP[removed]Kiel, Germany, September 13-15, 2001 CALL FOR PAPERS Program Committee Slim Abdennadher Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2001-05-16 04:24:09 Computing Declarative programming Logic programming Constraint programming Deductive database Programming paradigms Software engineering Computer programming
336	Declarative, Programmatic Vector Graphics in Haskell Brent Yorgey Libre Graphics Meeting Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-04-18 16:59:09 Functional languages Haskell Literate programming Data types Type theory Type system Fib Euclidean vector Clean Software engineering Programming language theory Computing
337	[removed], Spring Semester, 2007—Project 2 MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.001—Structure and Interpretation of Computer Programs Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-03-01 10:05:19 Higher-order functions Subroutines Functional programming Functions and mappings Lambda calculus Function Map Null Recursion Software engineering Declarative programming Computer programming
338	Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:33 Logic programming Automated theorem proving Programming paradigms Prolog Computer program Unification Occurs check First-order logic Logic Software engineering Computing Computer programming
339	Functional-Logic Programming - Lecture Notes Harold Boley NRC-IIT Fredericton University of New Brunswick CS 6715 FLP Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2010-04-11 16:30:10 Computer programming Procedural programming Logic programming Prolog Declarative programming Functional programming Object-oriented programming Computer program Monad Programming paradigms Software engineering Computing
340	A functional reconstruction of anti-unification NR Norwegian Computing Center Add to Reading List Source URL: publications.nr.no Language: English - Date: 2011-02-11 06:14:51 Logic programming Model theory Integral calculus Automated theorem proving Unification Interpretation Integration by substitution Function Monad Mathematics Mathematical logic Declarative programming

UPDATE